
#main .cleaner .title h1 { float: left }

#main .cleaner .sub_header {color: #888; font-size: 80%; font-weight: bold}

#main .cleaner .control_panel { 
  margin: 5px 0 10px; padding: 5px; background: #eee; display: inline-block;
  -webkit-border-radius:5px; border:1px solid #ccc;
}

#main .cleaner #exec { color: black; }
#main .cleaner #exec select { margin-right: 20px }
#main .cleaner #exec a { margin-right: 5px}
#main .cleaner #exec a.disabled { color: #aaa}

#main .cleaner table.class_list { width: auto }
#main .cleaner td.number { text-align: right }
#main .cleaner tr.total { border-top: 3px double #ccc}

#main .cleaner form { float: none; margin: 0}

#main .cleaner .warning { margin: 30px 0; padding: 10px; background: #fdd; display: inline-block; }

#main .clearfix:after {
  content: ".";
  display: block;
  height: 0;
  clear: both;
  visibility: hidden;
}
#main .cleaner ul.failed {
  margin-bottom: 10px
}

#main .cleaner .list_info{
  color: #999; text-align: center;
}
#main .cleaner .list_info a{
  color: #666
}
#main .cleaner .list_info .list_summary{
  vertical-align: baseline;
  display: inline-block;
  margin: 0; padding:0;
}
#main .cleaner ul.pagination {
  display: inline-block;
  vertical-align: baseline;
  margin:0; padding:0;
}
#main .cleaner ul.pagination li {
  list-style:none; float: left; padding: 0 3px;
}
#main .cleaner ul.pagination li.current {
  color: #333; font-weight: bold;
}
#main .cleaner ul.pagination li.summary{
  padding-right: 10px
}
#main .cleaner div.dump{
  float: right
}


